proof that the product of two 2x2 skew symmetric matrices is diagonal